|
|
Inteligentní editor pro jazyk AHLL
Kučera, Tomáš ; Rozman, Jaroslav (oponent) ; Zbořil, František (vedoucí práce)
Predmetom tejto bakalárskej práce je návrh a implementácia inteligentného editoru pre agentný jazyk AHLL. Čitateľ je najprv oboznámený s konceptom agentných systémov a platformou WSageNt. Nasleduje analýza a porovnanie existujúcich editorov a vývojových prostredí. Budú predstavené technológie ANTRL, RSyntaxTextArea a AutoComplete poskytujúce prostriedky pre efektívnu implementáciu niektorých kľúčových funkcií editora. Výsledný editor integruje existujúci AHLL prekladač do jazyka ALLL a simulátor distribuovaných systémov T-Mass. Na záver testujeme schopnosť editora vybrať najlepšiu kombináciu optimalizácií prekladača na základe dĺžky cieľového kódu.
|
|
|
Alias analýza v překladači jazyka C
Bolvanský, Dávid ; Zachariášová, Marcela (oponent) ; Hruška, Tomáš (vedoucí práce)
Táto práca sa venuje problematike alias analýzy a možnostiam jej vylepšenia v LLVM frameworku. Cieľom tejto práce je zlepšiť jej presnosť, čoho bolo dosiahnuté rozšírením implementácie Andersenovho algoritmu o citlivosť na položky štruktúr. Vysvetlené sú pojmy súvisiace s alias analýzou a je popísaný princíp algoritmov alias analýzy. Predstavený je koncept LLVM frameworku, popísané sú aktuálne implementované algoritmy alias analýzy. Porovnanie týchto algoritmov bolo vykonané z pohľadu ich princípu fungovania, vlastností a obmedzení. Implementácia citlivosti na položky štruktúr bola vyskúšaná na sade programov, ktorými sa testujú prekladače. Bol preskúmaný jej vplyv na rýchlosť prekladu programov a ich výkonnosť. Získané výsledky preukazujú zvýšenie presnosti alias analýzy v LLVM frameworku.
|
|
|
Simulator for Verifying the Properties of DAG-Based Consensus Protocols
Hladký, Tomáš ; Tamaškovič, Marek (oponent) ; Malinka, Kamil (vedoucí práce)
In recent years, blockchain has received significant attention in the research community. Since then, several submissions have been proposed to respond to the Proof-of-Work blockchains throughput problem. We study existing Directed Acyclic Graph (DAG) blockchain designs that propose to solve this problem, especially protocols PHANTOM and its optimization GHOSTDAG. They utilize a Bitcoin protocol and propose a random transaction selection, resulting in increased transaction throughput. However, it has been proved by a simulation that actors that use the random transaction selection strategy have less profit than actors who do not follow the protocol and select transactions rationally (i.e., most profitable). That proof has been made on a small network of ten nodes with a circle topology. This article aims to extend, optimize, and automate an existing blockchain simulator. We implement a Bitcoin-like network topology with realistic block propagation latency. Furthermore, we optimize the simulator to run more simulations in parallel and faster, including automation tools that can modify input configurations, perform a combination of runs on multiple CPU cores based on input parameters, and analyze profits and transaction collisions. Finally, we perform experiments to verify malicious actors' advantages in a Bitcoin-like network and create a payoff function to punish this behavior.
|
|
|
Trasovatelnost optimalizovaného generovaného kódu
Gavenda, Daniel ; Rychlý, Marek (oponent) ; Křivka, Zbyněk (vedoucí práce)
Práca sa zaoberá vytvorením aplikácie v jazyku Python, ktorá zo zadaného modelu a kódu z neho vygenerovaného poskytne užívateľovi analýzu optimalizácií vykonaných pri automatickom generovaní kódu. Táto analýza bude užitočná pre modelových návrhárov vo firme Honeywell International v oddelení AeroSpace. Umožní im tak jednoduchšie lokalizovanie a odstránenie či upravenie častí modelu, ktoré boli optimalizované.
|
|
|
Trasovatelnost optimalizovaného generovaného kódu
Gavenda, Daniel ; Rychlý, Marek (oponent) ; Křivka, Zbyněk (vedoucí práce)
Práca sa zaoberá vytvorením aplikácie v jazyku Python, ktorá zo zadaného modelu a kódu z neho vygenerovaného poskytne užívateľovi analýzu optimalizácií vykonaných pri automatickom generovaní kódu. Táto analýza bude užitočná pre modelových návrhárov vo firme Honeywell International v oddelení AeroSpace. Umožní im tak jednoduchšie lokalizovanie a odstránenie či upravenie častí modelu, ktoré boli optimalizované.
|
|
|
Simulator for Verifying the Properties of DAG-Based Consensus Protocols
Hladký, Tomáš ; Tamaškovič, Marek (oponent) ; Malinka, Kamil (vedoucí práce)
In recent years, blockchain has received significant attention in the research community. Since then, several submissions have been proposed to respond to the Proof-of-Work blockchains throughput problem. We study existing Directed Acyclic Graph (DAG) blockchain designs that propose to solve this problem, especially protocols PHANTOM and its optimization GHOSTDAG. They utilize a Bitcoin protocol and propose a random transaction selection, resulting in increased transaction throughput. However, it has been proved by a simulation that actors that use the random transaction selection strategy have less profit than actors who do not follow the protocol and select transactions rationally (i.e., most profitable). That proof has been made on a small network of ten nodes with a circle topology. This article aims to extend, optimize, and automate an existing blockchain simulator. We implement a Bitcoin-like network topology with realistic block propagation latency. Furthermore, we optimize the simulator to run more simulations in parallel and faster, including automation tools that can modify input configurations, perform a combination of runs on multiple CPU cores based on input parameters, and analyze profits and transaction collisions. Finally, we perform experiments to verify malicious actors' advantages in a Bitcoin-like network and create a payoff function to punish this behavior.
|
|
|
Alias analýza v překladači jazyka C
Bolvanský, Dávid ; Zachariášová, Marcela (oponent) ; Hruška, Tomáš (vedoucí práce)
Táto práca sa venuje problematike alias analýzy a možnostiam jej vylepšenia v LLVM frameworku. Cieľom tejto práce je zlepšiť jej presnosť, čoho bolo dosiahnuté rozšírením implementácie Andersenovho algoritmu o citlivosť na položky štruktúr. Vysvetlené sú pojmy súvisiace s alias analýzou a je popísaný princíp algoritmov alias analýzy. Predstavený je koncept LLVM frameworku, popísané sú aktuálne implementované algoritmy alias analýzy. Porovnanie týchto algoritmov bolo vykonané z pohľadu ich princípu fungovania, vlastností a obmedzení. Implementácia citlivosti na položky štruktúr bola vyskúšaná na sade programov, ktorými sa testujú prekladače. Bol preskúmaný jej vplyv na rýchlosť prekladu programov a ich výkonnosť. Získané výsledky preukazujú zvýšenie presnosti alias analýzy v LLVM frameworku.
|
|
|
Inteligentní editor pro jazyk AHLL
Kučera, Tomáš ; Rozman, Jaroslav (oponent) ; Zbořil, František (vedoucí práce)
Predmetom tejto bakalárskej práce je návrh a implementácia inteligentného editoru pre agentný jazyk AHLL. Čitateľ je najprv oboznámený s konceptom agentných systémov a platformou WSageNt. Nasleduje analýza a porovnanie existujúcich editorov a vývojových prostredí. Budú predstavené technológie ANTRL, RSyntaxTextArea a AutoComplete poskytujúce prostriedky pre efektívnu implementáciu niektorých kľúčových funkcií editora. Výsledný editor integruje existujúci AHLL prekladač do jazyka ALLL a simulátor distribuovaných systémov T-Mass. Na záver testujeme schopnosť editora vybrať najlepšiu kombináciu optimalizácií prekladača na základe dĺžky cieľového kódu.
|
host ::
RSS.